" Markus Müller" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science Programming and Software Engineering)

Markus Müller-Olm

Категория: Компьютеры

1.74 Mb

#2

Neurologie und Psychiatrie für Studium und Praxis 2009 10: Unter Berücksichtigung des Gegenstandskataloges und der mündlichen Examina in den Ärztlichen Prüfungen

Christiane Gleixner, Markus Müller, Steffen Wirth

47.81 Mb

#3

Clinical Pharmacology: Current Topics and Case Studies

Markus Müller

45.60 Mb

#4

Wirtschaftspolitik kompakt

Markus M. Müller, Roland Sturm

3.23 Mb

#5

High Performance Computing in Science and Engineering, Garching Munich 2009: Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8–9, 2009, Leibniz Supercomputing Centre, Garching Munich, Germany

Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Markus Michael Müller

33.04 Mb

#6

From COBOL to OOP

Markus KnasmÃ¼ller

2.55 Mb

#7

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Neil D. Jones, Markus Müller-Olm

Категория: Cs_Computer science, CsLn_Lecture notes

3.93 Mb

#8

Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-Olm

Категория: CsLn_

1.74 Mb

#9

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Markus Müller-Olm

Категория: Cs_Computer science, CsLn_Lecture notes

1.12 Mb

#10

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)

Neil D. Jones, Markus Müller-Olm

5.07 Mb

#11

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

2.98 Mb